81. Foundations of logic and mathematics : applications to computer science and cryptography
Author: Yves Nievergelt
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
Classification :
QA
9
.
N5
82. Foundations of logic and mathematics: applications to computer science and cryptography
Author: Nievergelt, Yves
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
Classification :
QA
9
.
N53
2002
83. Future tendencies in computer science, control, and applied mathematics :
Author: A. Bensoussan, J.-P. Verjus (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.
84. Future tendencies in computer science, control, and applied mathematics :
Author: A. Bensoussan, J.-P. Verjus (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.
85. Future tendencies in computer science, control, and applied mathematics : International Conference
Author: A. Bensoussan, J.-P. Verjus )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
Classification :
QA
76
.
L4
v
.
653
86. Future tendencies in computer science, control and applied mathematics : International Conference
Author: A. Bensoussan, J.-P. Verjus )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
Classification :
QA
76
.
L28
Vol
.
653
87. Future tendencies in computer science, control, and applied mathematics : International Conference
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Automatic control-- Congresses,، Mathematics-- Congresses
Classification :
QA
76
.
5
.
I5484
1992
88. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
.
G6
1996a
89. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1L44
Vol
.
6
90. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
G6
1996
91. Grammars and Automata for string processing : From mathematics and computer science to biology and Bach
Author: Edited by Carlos Martin Vide, Victor Mitrana
Library: Library of Islamic Azad University, Qom branch (Qom)
Subject: Computer science,Mathematics,Molecular biology
Classification :
QA
.
G72
76
2003
92. Grammars and automata for string processing: from mathematics and computer science to biology, and back
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
Classification :
QA
76
.
G64
2003
93. Grammars and automata for string processing : from mathematics and computer science to biology, and back
Author: edited by Carlos Martin-Vide and Victor Mitrana
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
Classification :
QA
76
.
G69
94. Introduction to computer science mathematics
Author: / Robert V. Jamison
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics - 1961-
Classification :
510
J32i
95. Introduction to computer science mathematics
Author: Jamison, Robert V.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Mathematics-1961-
Classification :
J32i
96. Introduction to computer science mathematics
پدیدآورنده : Jamison, Robert V
موضوع : ، Mathematics-1691-
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
97. Introduction to computer science mathematics
Author: / (by) Robert V. Jamison
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics
Classification :
QA
39
.
2
.
J35
98. Introduction to computer science mathematics
Author: JAMISON,ROBERT V
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MATHEMATICS-1961-
Classification :
QA
39
.
2
.
J35
99. Lectures on discrete mathematics for computer science
Author: Bakhadyr Khoussainov, Nodira Khoussainova
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Textbooks ، Computer science -- Mathematics
Classification :
QA
76
.
9
.
M35K46
100. Logic, Mathematics, and Computer Science.
Author: \ Yves Nievergelt
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
Classification :
QA
37
.
N5L6
2015
E-Book
,
